Arithmetization of formal system
[计] 形式系统算术化
🧩 词语组成解析
[计] 算术化
of
[əv]
prep. 关于;属于…的;由…制成;
aux. 助动词 [非标准用语、方言] =have [主用于虚拟语气];
formal
['fɔ:məl]
adj. （学校教育或培训）正规的;方式上的;礼仪上的;
n. <美>须穿礼服的社交集会;<口>夜礼服;
🗣️ 情景例句
And I'll be able to show you around our city.
我可以带你在我们那儿四处看看。
Hear all parties.
兼听则明。
Fifteen policemen had to push very hard to get him off the main street.
15个警察不得不用很大的力气把它推离主要街道。